MGI:5487444 Null/knockout http://identifiers.org/mgd/MGI:5487444 Tmsb4x<tm1Tnr> Tmsb4x<tm1Prri> targeted mutation 1, Paul Riley